Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
51	No complete linear term rewriting system for propositional logic Anupam Das and Lutz Straßburger Abstract Recently it has been observed that the set of all sound linear inference rules in propositional Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-03-23 07:14:32 Mathematics Logic Mathematical logic Boolean algebra Formal languages Semantics Algebraic logic Logic in computer science Substitution Propositional calculus Rewriting Negation
52	Synthese DOIs11229The man without properties Boris Hennig1 Add to Reading List Source URL: www.borishennig.de Language: English - Date: 2016-03-03 23:12:28 Philosophy Semantics Philosophy of language Philosophical logic Meaning Ontology Gottlob Frege Analytic philosophy Predicate Concept Truth Aristotle
53	EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTICE OF CHANGES 237 DATE: AUGUST 1, 2016 PROJECT DP0082 Add to Reading List Source URL: www.cooperativepatentclassification.org Language: English - Date: 2016-07-18 10:18:33 Logic Linguistics Analytic philosophy Definition Lexicography Meaning Philosophical logic Philosophy of language Semantics International System of Units Cooperative Patent Classification
54	The Semantic Paradoxes and the Paradoxes of Vagueness Hartry Field∗ March 30, 2003 Both in dealing with the semantic paradoxes and in dealing with vagueness and indeterminacy, there is some temptation to weaken classic Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Logic Philosophy Abstraction Philosophical logic Revision theory Truth Predicate Supervaluationism Model theory Modal logic Kripke semantics Mathematical logic
55	Chapter 11 Revenge, IForms of revenge It is hard enough to find a satisfying response to the paradoxes, but the phenomenon of revenge can make it seem impossible. In the simplest manifestation of revenge - call it Add to Reading List Source URL: www.keith-simmons.com Language: English - Date: 2012-09-23 12:20:06 Philosophy Logic Abstraction Predicate logic Theories of truth Semantics Philosophical logic Model theory Liar paradox Saul Kripke Truth Interpretation
56	Types and Type-Free λ-Calculus Dana S. Scott, FBA, FNAS University Professor Emeritus Carnegie Mellon University Visiting Scholar Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2016-06-16 11:50:12 Computability theory Theoretical computer science Mathematical logic Theory of computation Models of computation Formal methods Logic in computer science Lambda calculus Recursively enumerable set -recursive function Denotational semantics Numbering
57	A Herding cats: Modelling, Simulation, Testing, and Data-mining for Weak Memory Jade Alglave, University College London Luc Maranget, INRIA Michael Tautschnig, Queen Mary University of London Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English Theoretical computer science Cognitive science Logic in computer science Computing Actor model Concurrent computing Consistency model Semantics Memory Stable model semantics
58	JAVANESE MODALS* Jozina Vander Klok McGill University Javanese modals reveal interesting behaviour with respect to morphology and, more significantly, with respect to how the modal space is represented. The goals of this Add to Reading List Source URL: homes.chass.utoronto.ca Language: English - Date: 2009-01-31 12:12:08 Linguistics Grammatical moods Grammar Modality Philosophy Semantics Linguistic modality Epistemic modality Modal logic Lisa Matthewson Tenseaspectmood Shall and will
59	InfoTraffic – Teaching Important Concepts of Computer Science and Math through Real-World Examples Ruedi Arnold Marc Langheinrich Add to Reading List Source URL: ruedi-arnold.com Language: English - Date: 2011-12-23 03:25:33 Logic Philosophy Mathematical logic Semantics Abstraction Formal sciences Operations research Educational psychology Educational technology False Propositional calculus Concept
60	The key to blame: Gradual typing meets cryptography Jeremy Siek Philip Wadler Indiana University, USA Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2016-07-07 08:33:11 Theoretical computer science Mathematics Mathematical logic Logic in computer science Models of computation Lambda calculus Computability theory Valuation Denotational semantics Combinatory logic Holomorphic functional calculus